Scheme theory - PDFSEARCH.IO - Document Search Engine

Scheme theory
Results: 835

#	Item
61	GEOMETRY OF REPRESENTATIONS OF ALGEBRAS William Crawley-Boevey Contents §1. Varieties. . . . . . . . . . . . . . . . . . . . . . . 3 Add to Reading List Source URL: www1.maths.leeds.ac.uk Language: English - Date: 2002-02-12 15:32:59 Ring theory Commutative algebra Algebraic geometry Affine variety Morphism of algebraic varieties Associative algebra Ring Algebra over a field Representation theory Spectrum of a ring Scheme Lie algebra
62	A Self-Hosting Evaluator using HOAS A Scheme Pearl Eli Barzilay Northeastern University Add to Reading List Source URL: barzilay.org Language: English - Date: 2009-07-12 22:21:53 Lambda calculus Subroutines Functional programming Computability theory Theoretical computer science Higher-order abstract syntax Anonymous function Scheme Fixed-point combinator Combinatory logic Eval Hygienic macro
63	Freeing the Essence of a Computation1 Kenneth R. Anderson BBN Systems and Technologies, 10 Moutlon St. Cambridge, MA, In theory, abstraction is important, but in practice, so is performance. Thus, Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:05:10 Subroutines Functional languages Linear algebra Common Lisp Cross-platform software Lisp Scheme Anonymous function Closure Norm Eval Free variables and bound variables
64	Tempered fundamental groups and Semi-graphs of anabelioids Emmanuel Lepage Université Paris VI Add to Reading List Source URL: www.maths.nottingham.ac.uk Language: English - Date: 2015-12-09 09:40:24 Homotopy theory Group theory Algebraic topology Scheme theory tale fundamental group Fundamental group Profinite group tale morphism Elliptic curve
65	5B.2 A coupled surface nudging scheme for use in retrospective weather and climate simulations for environmental applications. Alapaty, Kiran, Timothy Glotfelty, Jian He, Jerold Herwehe, United States Environmental Add to Reading List Source URL: www2.mmm.ucar.edu Language: English - Date: 2016-06-16 12:19:59 Weather forecasting Control theory Data assimilation Estimation theory Statistical forecasting Climate Weather
66	GRADUATE SCHOOL APPROVAL RECORD NORTHEASTERN UNIVERSITY Graduate College of Computer and Information Science Dissertation Title: Author: Department: Add to Reading List Source URL: www.ccs.neu.edu Language: English - Date: 2016-07-01 10:16:31 Lambda calculus Scheme Lambda Calculus Type theory
67	ORDINARY VARIETIES AND THE COMPARISON BETWEEN MULTIPLIER IDEALS AND TEST IDEALS ˘ AND VASUDEVAN SRINIVAS MIRCEA MUSTAT ¸A Add to Reading List Source URL: www.math.tifr.res.in Language: English - Date: 2011-01-14 06:50:39 Algebraic geometry Algebraic varieties Scheme theory Vector bundles Divisor Resolution of singularities Projective variety Coherent sheaf Birational geometry Zariski topology tale morphism Proper morphism
68	Scheme-based Definition and Conjecture Synthesis for Inductive Theories Omar Montano, Roy McCasland, Lucas Dixon, Alan Bundy School of Informatics, University of Edinburgh, Informatics Forum, 10 Crichton Street, Edinburg Add to Reading List Source URL: dream.inf.ed.ac.uk Language: English - Date: 2010-07-11 12:19:03 Artificial intelligence Automated theorem proving Alan Bundy Automated reasoning Theorem Theory Informatics Mathematics Mathematical proof Scheme
69	1403 Documenta Math. Classification of Categorical Subspaces of Locally Noetherian Schemes Add to Reading List Source URL: www.math.uiuc.edu Language: English - Date: 2015-12-16 12:59:44 Homological algebra Ring theory Algebraic geometry Category theory Sheaf theory Localizing subcategory Abelian category Coherent sheaf Localization Ring Zariski topology Noetherian scheme
70	HODGE–ARAKELOV THEORY OF ELLIPTIC CURVES (NOTES ON WORKS OF SHINICHI MOCHIZUKI) ROBERT A. KUCHARCZYK Hodge–Arakelov theory is developed in a series of articles by Shinichi Mochizuki from around the year 2000, includi Add to Reading List Source URL: www.maths.nottingham.ac.uk Language: English - Date: 2015-12-07 11:55:24 Algebraic geometry Homological algebra Hodge theory HodgeArakelov theory Number theory Elliptic curves Period mapping Arakelov theory Analytic torsion Group scheme Torsion Sheaf

UPDATE